Abstract machine - PDFSEARCH.IO - Document Search Engine

Abstract machine
Results: 823

#	Item
421	Using JFLAP to Interact with Theorems in Automata Theory Eric Gramond and Susan H. Rodger Duke University, Durham, NC [removed] Abstract Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 1999-01-05 11:27:33 Computer science Applied mathematics Deterministic finite automaton Nondeterministic finite automaton Finite-state machine Computability Deterministic pushdown automaton Context-free language Pushdown automaton Automata theory Models of computation Theoretical computer science
422	Manifold Based Analysis of Facial Expression Changbo Hu, Ya Chang, Rogerio Feris, and Matthew Turk University of California, Santa Barbara {cbhu, yachang, rferis, mturk}@cs.ucsb.edu Abstract We propose a novel approach f Add to Reading List Source URL: www.recveb.ucsb.edu Language: English Face recognition Computational statistics Nonlinear dimensionality reduction Isomap Facial recognition system Generalized method of moments Mixture model Pattern recognition Manifold Statistics Machine learning Dimension reduction
423	A text-mining approach to helpdesk and e-mail support A. N. Blaafladt B. H. R. Johansen N. E. Eide F. E. Sandnes Faculty of Engineering Oslo University College Abstract The system administrators of large organizations of Add to Reading List Source URL: www.nik.no Language: English - Date: 2004-12-12 14:05:47 Data mining Email Spam filtering Machine learning Natural language processing Document classification Anti-spam techniques Spam SMS Computing Internet Statistics
424	Experiments in validating formal semantics for C Sandrine Blazy ENSIIE and INRIA Rocquencourt [removed] Abstract. This paper reports on the design of adequate on-machine Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2008-06-30 05:17:26 Logic in computer science Formal methods Compiler construction Programming language semantics Formal verification Xavier Leroy Coq Operational semantics Compcert Software engineering Theoretical computer science Computing
425	3D Face Recognition Using Stereoscopic Vision U. Castellani, M. Bicego, G. Iacono, and V. Murino Dipartimento di Informatica, Universit` a di Verona Ca’ Vignal 2, Strada Le Grazie[removed]Verona, Italia Add to Reading List Source URL: profs.sci.univr.it Language: English - Date: 2011-10-29 17:48:15 Abstract algebra Splines Statistical classification Support vector machine Vector space 3D modeling B-spline Three-dimensional face recognition Stereoscopy Algebra Mathematics Interpolation
426	Integrating Predictive Visualization with the Epidemic Disease Simulation System (EpiSimS) Chris Bryan, Susan Mniszewski, and Kwan-Liu Ma, Fellow, IEEE Abstract— The Epidemic Simulation System (EpiSimS) is a scalable, Add to Reading List Source URL: predictive-workshop.github.io Language: English - Date: 2014-10-21 11:34:48 Computational science Scientific modeling Ethology Machine learning Predictive analytics Data mining Training set Simulation Visualization Statistics Science Data analysis
427	Warren’s Abstract Machine A T UTORIAL R ECONSTRUCTION H ASSAN A¨I T-K ACI [removed] Intelligent Software Group Add to Reading List Source URL: wambook.sourceforge.net Language: English - Date: 2009-06-30 09:57:55 Artificial intelligence Applied mathematics Mathematics Automated theorem proving Logic programming Unification
428	REVISITING THE NYSTRÖM METHOD FOR IMPROVED LARGE-SCALE MACHINE LEARNING arXiv:1303.1849v2 [cs.LG] 3 Jun 2013 ALEX GITTENS1 AND MICHAEL W. MAHONEY2 ABSTRACT. We reconsider randomized algorithms for the low-rank approxim Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-06-04 22:04:47 Matrix theory Numerical linear algebra Normal distribution Matrix Eigendecomposition of a matrix Rank QR decomposition Singular value decomposition Algebra Mathematics Linear algebra
429	A DSP Implementation of an AOM and its Application to Defects Detection in Textile Material Ibarra-Picó, F.; Garcia-Crespi, F.; Cuenca-Asensi, S.A.; Morales-Benavente, J.L.; Lorenzo-Quintanilla J.J. Departamento de Tecn Add to Reading List Source URL: wscg.zcu.cz Language: English - Date: 2001-01-10 11:54:40 Abstract algebra Linear algebra Vectors Euclidean vector Vector calculus Vector space Vector Supervised learning Statistical classification Algebra Mathematics Machine learning
430	Generalized Eigenvectors for Large Multiclass Problems Luke Vilnis School of Computer Science University of Massachusetts Amherst Amherst, MA 01003 Add to Reading List Source URL: people.cs.umass.edu Language: English - Date: 2015-03-20 15:49:18 Matrix theory Abstract algebra Multivariate statistics Machine learning Matrix Eigenvalues and eigenvectors Vector space Dimension reduction Speech recognition Algebra Mathematics Linear algebra

UPDATE